/*
  S.M.A.C.K - An operating system kernel
  Copyright (C) 2010,2011 Mattias Holm and Kristian Rietveld
  For licensing and a full list of authors of the kernel, see the files
  COPYING and AUTHORS.
*/

#ifndef KERNEL_CACHE_H
#define KERNEL_CACHE_H

#include <stddef.h>
#include <arch-types.h>

void hw_print_cache_info(void);
void hw_cache_invalidate_all(void);
void hw_cache_clean_all(void);
void hw_cache_flush(va_t va, size_t size);
void hw_bpc_invalidate(void);

#endif /* ! KERNEL_CACHE_H */

